void main() {
    scope (success) {
    }
}
